This chapter provides an introduction to higher-order metaphysics as well as to the contributions to this volume. We discuss five topics, corresponding to the five parts of this volume, and summarize the contributions to each part. First, we motivate the usefulness of higher-order quantification in metaphysics using a number of examples, and discuss the question of how such quantifiers should be interpreted. We provide a brief introduction to the most common forms of higher-order logics used in metaphysics, and indicate a (...) number of questions which can be raised in such systems using logical vocabulary alone. Using a further example, we return to applications of higher-order logics in metaphysics. We also mention key developments in the history of higher-order logic as it pertains to metaphysics. Finally, we mention certain arguments which have been raised against the use of higher-order logic, and some ways of responding to them. (shrink)

Although the principle of informed consent is well established and its importance widely acknowledged, it has met with criticism for decades. Doubts have been raised for a number of different reasons. In particular, empirical data show that people regularly fail to reproduce the information provided to them. Many critics agree, therefore, that the received concept of informed consent is no more than a myth. Strategies to overcome this problem often rest on a flawed concept of informed consent. In this paper, (...) it is suggested that informed consent is a communicative act between two persons. The challenge is to elucidate the norms and constraints for successfully performing such a communicative act. The view developed here has major consequences with regard to the standards for information disclosure as well as for the general scope of informed consent. (shrink)

Timothy Williamson has argued that in the debate on modal ontology, the familiar distinction between actualism and possibilism should be replaced by a distinction between positions he calls contingentism and necessitism. He has also argued in favor of necessitism, using results on quantified modal logic with plurally interpreted second-order quantifiers showing that necessitists can draw distinctions contingentists cannot draw. Some of these results are similar to well-known results on the relative expressivity of quantified modal logics with so-called inner and outer (...) quantifiers. The present paper deals with these issues in the context of quantified modal logics with generalized quantifiers. Its main aim is to establish two results for such a logic: Firstly, contingentists can draw the distinctions necessitists can draw if and only if the logic with inner quantifiers is at least as expressive as the logic with outer quantifiers, and necessitists can draw the distinctions contingentists can draw if and only if the logic with outer quantifiers is at least as expressive as the logic with inner quantifiers. Secondly, the former two items are the case if and only if all of the generalized quantifiers are first-order definable, and the latter two items are the case if and only if first-order logic with these generalized quantifiers relativizes. (shrink)

Tae Wan Kim, John Hooker, and Thomas Donaldson make an attempt, in recent articles, to solve the alignment problem. As they define the alignment problem, it is the issue of how to give AI systems moral intelligence. They contend that one might program machines with a version of Kantian ethics cast in deontic modal logic. On their view, machines can be aligned with human values if such machines obey principles of universalization and autonomy, as well as a deontic utilitarian principle. (...) Programming machines to do so might be useful, in their view, for applications such as future autonomous vehicles. Their proposal draws both on traditional logic-based and contemporary connectionist approaches, to fuse factual information with normative principles. I will argue that this approach makes demands of machines that go beyond what is currently feasible, and may extend past the limits of the possible for AI. I also argue that a deontological ethics for machines should place greater stress on the formula of humanity of the Kantian categorical imperative. On this principle, one ought never treat a person as a mere means. Recognition of what makes a person a person requires ethical insight. Similar insight is needed to tell treatment as a means from treatment as a mere means. The resources in Kim, Hooker, and Donaldson’s approach is insufficient for this reason. Hesitation regarding deployment of autonomous machines is warranted in light of these alignment concerns. (shrink)

The world provides us with an ocean of opportunities for fitting emotion. But we are beings with limited emotional resources, so missed opportunities are common. This chapter argues that these failures to take up fitting emotions are very frequently unfitting in their own right—so frequently, in fact, that most of us lead lives replete with unfitting absences of emotion. It begins by showing that, whenever an emotion can be unfitting in virtue of being too weak, the absence of that emotion (...) can also be unfitting, and for just the same reason. But emotional responses to a host of everyday objects—a funny joke, a nasty insult, and so on—can be unfittingly weak. This means that failures to respond emotionally to an enormous host of everyday objects are similarly unfitting. (shrink)

This is evident, for example, in the contribution it has made to the emancipation of repressed social classes.

Propositional quantifiers are quantifiers binding proposition letters, understood as variables. This Element introduces propositional quantifiers and explains why they are especially interesting in the context of propositional modal logics. It surveys the main results on propositionally quantified modal logics which have been obtained in the literature, presents a number of open questions, and provides examples of applications of such logics to philosophical problems.

Reprint of the Knopf edition of 1972 with a new introduction by Fritz Stern. Now printed on acid-free paper. Annotation copyrighted by Book News, Inc., Portland, OR.

Business in Ethical Focus is a compilation of classical and contemporary essays on business ethics. Approximately 50 essays are organized into five units: Corporate Social Responsibility; Rights and Obligations of Employees and Employers; Justice and Fair Practice; Distributive Justice; and Advertising, Marketing, and the Consumer. Readers will become acquainted with seminal ideas from important thinkers such as Milton Friedman on corporate social responsibility and Amartya Sen on whether business ethics makes economic sense. They will also find classic readings on distributive (...) justice by Thomas Hobbes, John Locke, Karl Marx, John Rawls, and Robert Nozick. Other topics include drug testing, sexual harassment, environmental responsibility, bribery, and ethical issues in advertising and marketing. The editors provide thoughtful commentary, case studies, and study questions for each unit, enabling readers to clearly understand the growing discipline of business ethics. (shrink)

This paper presents a challenge to conciliationist views of disagreement. I argue that conciliationists cannot satisfactorily explain why we need not revise our beliefs in response to certain moral disagreements. Conciliationists can attempt to meet this challenge in one of two ways. First, they can individuate disputes narrowly. This allows them to argue that we have dispute-independent reason to distrust our opponents’ moral judgment. This approach threatens to license objectionable dogmatism. It also inappropriately gives deep epistemic significance to superficial questions (...) about how to think about the subject matter of a dispute. Second, conciliationists can individuate disputes widely. This allows them to argue that we lack dispute-independent reason to trust our opponents’ moral judgment. But such arguments fail; our background of generally shared moral beliefs gives us good reason to trust the moral judgment of our opponents, even after we set quite a bit of our reasoning aside. On either approach, then, conciliationists should acknowledge that we have dispute-independent reason to trust the judgment of those who reject our moral beliefs. Given a conciliationist view of disagreement’s epistemic role, this has the unattractive result that we are epistemically required to revise some of our most intuitively secure moral beliefs. (shrink)

Proof Theory of Modal Logic is devoted to a thorough study of proof systems for modal logics, that is, logics of necessity, possibility, knowledge, belief, time, computations etc. It contains many new technical results and presentations of novel proof procedures. The volume is of immense importance for the interdisciplinary fields of logic, knowledge representation, and automated deduction.

This paper presents the principal findings from a three-year research project funded by the US National Science Foundation on ethics of human enhancement technologies. To help untangle this ongoing debate, we have organized the discussion as a list of questions and answers, starting with background issues and moving to specific concerns, including: freedom & autonomy, health & safety, fairness & equity, societal disruption, and human dignity. Each question-and-answer pair is largely self-contained, allowing the reader to skip to those issues of (...) interest without affecting continuity. (shrink)

As the discoverer of electromagnetic waves, Hertz is one of the most important figures in the history of physics. In commemoration of the 100th anniversary of his death, this volume ties together his personal and professional life. It contains 11 of Hertz's most important papers, seven accounts of his life by renowned contemporaries, and a biographical introduction. A bibliography of Hertz's scientific papers, a general bibliography of books and articles about his contributions to physics, and a comprehensive index round out (...) the coverage. Annotation copyright by Book News, Inc., Portland, OR. (shrink)

In this paper, I take a critical stance on the emerging field of nanoethics. After an introductory section, “Conceptual Foundations of Nanotechnology” considers the conceptual foundations of nanotechnology, arguing that nanoethics can only be as coherent as nanotechnology itself and then discussing concerns with this latter concept; the conceptual foundations of nanoethics are then explicitly addressed in “Conceptual Foundations of Nanoethics”. “Issues in Nanoethics” considers ethical issues that will be raised through nanotechnology and, in “What’s New?”, it is argued that (...) none of these issues is unique to nanotechnology. In “It’s a Revolution!”, I express skepticism about arguments which hold that, while the issues themselves might not be unique, they nevertheless are instantiated to such a degree that extant moral frameworks will be ill-equipped to handle them. In “What’s Different?”, I draw plausible distinctions between nanoethics and other applied ethics, arguing that these latter might well identify unique moral issues and, as such, distinguish themselves from nanoethics. Finally, in “What Now?”, I explore the conclusions of this result, ultimately arguing that, while nanoethics may fail to identify novel ethical concerns, it is at least the case that nanotechnology is deserving of ethical attention, if not a new associative applied ethic. (shrink)

The aim of the present paper is to analyse compactness properties of nonmonotonic inference operations within the framework of model theory. For this purpose the concepts of a deductive frame and its semantical counterpart, a semantical frame are introduced. Compactness properties play a fundamental in the study of non-monotonic inference, and in the paper several new versions of compactness are studied.

In Terrorism, Ticking Time-Bombs, and Torture, Fritz Allhoff demonstrates the weakness of the case against torture; while allowing that torture constitutes a moral wrong, he nevertheless argues that, in exceptional cases, it represents the ...

This essay presents some general background on nanomedicine, particularly focusing on some of the investment that is being made in this emerging field. The bulk of the essay, however, consists of explorations of two areas in which the impacts of nanomedicine are likely to be most significant: diagnostics and medical records and treatment, including surgery and drug delivery. Each discussion includes a survey some of the ethical and social issues that are likely to arise in these applications.

While offering a public welcome of communicative participation, a communicative dark side of the moderate Enlightenment project emerged. Moderate Enlightenmentrsquo;s corollary companion to wresting power from a limited few is the staggering sense of confidence in the universal ground of assurance that is ldquo;bad faithrdquo; mdash;we fib to ourselves that we can stand above history and affect the future. Absolute conviction of universal access to truth propels through methodological confidence, undergirding the era of ldquo;the rationalrdquo; pursuit of truth, transporting the (...) individual into an ethereal delusionmdash;that one can stand above the historical moment of engagement and cast judgment. This essay calls into question the common assumption that communication begins with the individual. We offer a critique of this assumption in accordance with radical enlightenment scholarship, calling forth a return to Otherness that renders the construct of individual secondary to that which is met.br /. (shrink)

In this paper, I argue for the permissibility of torture in idealized cases by application of separation of cases: if torture is permissible given any of the dominant moral theories (and if one of those is correct), then torture is permissible simpliciter and I can discharge the tricky business of trying to adjudicate among conflicting moral views. To be sure, torture is not permissible on all the dominant moral theories as at least Kantianism will prove especially recalcitrant to granting moral (...) license of torture, even in idealized cases. Rather than let the Kantian derail my central argument, I directly argue against Kantianism (and other views with similar commitments) on the grounds that, if they cannot accommodate the intuitions in ticking time-bomb cases, they simply cannot be plausible moral views—these arguments come in both foundationalist and coherentist strains. Finally, I postulate that, even if this paper has dealt with idealized cases, it paves the way for the justification of torture in the real world by removing some candidate theories (e.g., Kantianism) and allowing others that both could and are likely to justify real-world torture. (shrink)

: Genetic interventions raise a host of moral issues and, of its various species, germ-line genetic enhancement is the most morally contentious. This paper surveys various arguments against germ-line enhancement and attempts to demonstrate their inadequacies. A positive argument is advanced in favor of certain forms of germ-line enhancements, which holds that they are morally permissible if and only if they augment Rawlsian primary goods, either directly or by facilitating their acquisition.

On the one hand, bluffing in business seems to bear a strong resemblance to lying, and therefore might be thought to be prima facie impermissible. On the other, many people have the intuition that bluffing is an appropriate and morally permissible negotiating tactic. Given this tension, what is the moral standing of bluffing in business? In this paper, I will consider influential accounts of both Albert Carr and Thomas Carson, and I will present my criticisms thereof. Drawing off of these (...) accounts, I will then develop my own argument as to why bluffing in business is morally permissible, which will be that bluffing is a practice that should be endorsed by all rational negotiators. (shrink)